第50回プログラミングシンポジウム「Webアプリケーション・セキュリティの自動検証フレームワーク： Amberate の開発」